#ifndef INCLUDE_MM_H_
#define INCLUDE_MM_H_
#include "type.h"
#include "sched.h"
 
typedef struct PTE
{
    
} PTE_t;          /* 128 + 28 = 156B */
 
void init_page_table();
void do_TLB_Refill();
void printtlb();
void do_page_fault();
void init_TLB(void);
void set_tlb_for_refill(int vpn2, int pfn0, int pfn1, int index, int pagemask, int asid);
void set_and_transfer_tlb(int vpn2, int pfn0, int pfn1, int index, int pagemask, int asid);
void allocate_pfn(uint32_t *pfn0, uint32_t *pfn1, uint32_t vpn2);
void physical_frame_initial(void);

#endif
